#!/bin/bash
# helps to fix multiple installs of openmpi versions
# 
ls -d /usr/local/openmpi-*
